On piercing (pseudo)lines and boxes Subramanya Bharadwaj B. V∗, Chintan H. Rao†, Pradeesha Ashok‡, Sathish Govindarajan § Abstract We say a family of geometric objects C has (l, k)-property if every subfamily C 0

Source URL: drona.csa.iisc.ernet.in

• Helly family
• Vitali covering lemma
• Mathematics
• Mathematical analysis
• Projective geometry

Bringing Solutions Specification Modelling of gamma-spectra and calculation of registration efficiency for complex shaped objects EffMaker performs mathematical efficiency calibration (without using calibration sources)

Source URL: www.bsi.lv

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING 1 Consensus-based Ranking of Multi-valued Objects: A Generalized Borda Count Approach

Source URL: www.cs.sfu.ca

• Sheaf
• Distribution
• Projection
• Function
• Golden ratio base
• Initial and terminal objects
• Mathematical analysis
• Mathematics
• Functional analysis

QUANTUM THEORY AND ANALYSIS John C. BaezStates, Observables, and Symmetries The basic ingredients of a theory of a physical system are mathematical objects describing 1) a set S of states of the system, 2) the

Source URL: www.math.ucr.edu

• Spectral theory
• Operator theory
• Matrix theory
• Singular value decomposition
• Spectrum
• Self-adjoint operator
• Spectral theorem
• Hilbert space
• Eigenvalues and eigenvectors
• Algebra
• Mathematics
• Linear algebra

Mathematics-in-Industry Case Studies Journal, Volume 3, ppShape Reconstruction Techniques for Optical Sectioning of Arbitrary Objects K. Kumar

Source URL: www.fields.utoronto.ca

• Calculus
• Image processing
• Functions and mappings
• Optics
• Fourier analysis
• Point spread function
• Deconvolution
• Gaussian function
• Blind deconvolution
• Mathematics
• Mathematical analysis
• Signal processing

Siberian Mathematical Journal, Vol. 47, No. 3, pp. 584–593, 2006 c 2006 Khludnev A. M., Hoffmann K. H., and Botkin N. D. Original Russian Text Copyright THE VARIATIONAL CONTACT PROBLEM FOR ELASTIC OBJECTS OF DIFFERENT

Source URL: www-m6.ma.tum.de

• Mathematics
• Symbol
• Orbifold
• Partial differential equations
• Free boundary problem
• Mathematical analysis

The Ree Group Formula Enrico Bombieri* Does beauty exist in mathematics? The question concerns mathematical objects and their relations, the real subject of verifiable proofs. Mathematicians generally agree that beauty d

Source URL: www.gregkucera.com

• Lie groups
• Algebraic structures
• Group theory
• Algebraic groups
• Classification of finite simple groups
• Group
• Symmetry in mathematics
• Simple group
• Emmy Noether
• Abstract algebra
• Algebra
• Symmetry

Well-founded Recursion over Contextual Objects Brigitte Pientka1 and Andreas Abel2 1 2

Source URL: www2.tcs.ifi.lmu.de

• Functions and mappings
• Model theory
• Computability theory
• Interpretation
• Philosophy of mind
• Semantics
• Primitive recursive function
• Function
• First-order logic
• Mathematical logic
• Mathematics
• Logic

Generation of verification conditions for Abadi and Leino’s Logic of Objects [Extended Abstract] Francis Tang ∗

Source URL: www.cis.upenn.edu

• Model theory
• Metalogic
• Deduction
• First-order logic
• Predicate logic
• Euclidean algorithm
• Symbol
• Interpretation
• Function
• Logic
• Mathematics
• Mathematical logic

Structural Recursion over Contextual Objects Brigitte Pientka and Sherry Shanshan Ruan Andreas Abel School of Computer Science

Source URL: www2.tcs.ifi.lmu.de

• Functions and mappings
• Model theory
• Formal languages
• Metalogic
• Computability theory
• Symbol
• Interpretation
• Primitive recursive function
• Substitution
• Logic
• Mathematics
• Mathematical logic